A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
نویسندگان
چکیده
Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are related to them. In this paper we discuss these three concepts and analyze their relationships. The study of invariant functions and invariant relations is interesting not only because it provides alternative means to analyze loops, but also because it gives us insights into the structure of invariant assertions, and may help us enhance techniques for generating invariant assertions.
منابع مشابه
Invariant assertions, invariant relations, and invariant functions
Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are related to them. In this paper we discuss these three concepts and analyze their relationships. The study of invariant functions and invariant relations ...
متن کاملIntegral Properties of Zonal Spherical Functions, Hypergeometric Functions and Invariant
Some integral properties of zonal spherical functions, hypergeometric functions and invariant polynomials are studied for real normed division algebras.
متن کاملShift Invariant Spaces and Shift Preserving Operators on Locally Compact Abelian Groups
We investigate shift invariant subspaces of $L^2(G)$, where $G$ is a locally compact abelian group. We show that every shift invariant space can be decomposed as an orthogonal sum of spaces each of which is generated by a single function whose shifts form a Parseval frame. For a second countable locally compact abelian group $G$ we prove a useful Hilbert space isomorphism, introduce range funct...
متن کاملInvariant functions for solving multiplicative discrete and continuous ordinary differential equations
In this paper, at first the elemantary and basic concepts of multiplicative discrete and continous differentian and integration introduced. Then for these kinds of differentiation invariant functions the general solution of discrete and continous multiplicative differential equations will be given. Finaly a vast class of difference equations with variable coefficients and nonlinear difference e...
متن کاملCoordinate finite type invariant surfaces in Sol spaces
In the present paper, we study surfaces invariant under the 1-parameter subgroup in Sol space $rm Sol_3$. Also, we characterize the surfaces in $rm Sol_3$ whose coordinate functions of an immersion of the surface are eigenfunctions of the Laplacian $Delta$ of the surface.
متن کامل